121. Randomness and completeness in computational complexity

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer science--Mathematics,Computational complexity.

رده :
QA
,
76
.
9
,.
M35
,
M54
,
2000

122. Runtime Verification

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering

123. Scale Scientific Computing-Large

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer Science; Algorithm Analysis and Problem Complexity; Computer Systems Organization and Communication Networks; Information Systems Applications (incl.Internet); Coding and Information Theory

124. Selected Areas in Cryptography

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Coding theory.,Computational complexity.,Computer science.,Mathematics.

125. Solving Irregularly Structured Problems in Parallel :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity.,Computer science.,Computer science_xMathematics.

126. Substitutions in dynamics, arithmetics, and combinatorics

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity

رده :
QA
267
.
F6S9

127. Substitutions in dynamics, arithmetics, and combinatorics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity

رده :
QA
3
.
L28
Vol
.
1794

128. Substitutions in dynamics, arithmetics and combinatorics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity

رده :
QA
3
.
L28
no
.
1794

129. Supervision of Petri Nets

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity.,Computer science.,Systems theory.

رده :
QA267
.
B944
2001

130. Tackling the inverse problem for non-autonomous systems :application to the life sciences

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Mathematical physics,، Inverse problems )Differential equations(,، Bayesian statistical decision theory,، Physics,، Statistical Physics, Dynamical Systems and Complexity,، Probability Theory and Stochastic Processes,، Theoretical, Mathematical and Computational Physics,، Math. Appl. in Environmental Science,، Computer Appl. in Life Sciences

رده :
QC20

131. The Traveling Salesman Problem and Its Variation

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer science.,Computational complexity.,Algorithms.,Mathematical optimization.

رده :
QA
,
76
.
9
,.
M35

132. The language complexity game

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Natural language processing )Computer science(,، Computational complexity

رده :
QA
76
.
9
.
N38R57

133. Theoretical computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
QA75
.
5

134. Theory and Applications of Models of Computation

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,پیچیدگی محاسباتی -- کنگره ها

رده :
QA
76
.
9
.
M35T46
2015
E-Book
,

135. Theory and applications of models of computation :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
T36
2011eb

136. Theory and applications of models of computation :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.

رده :
QA76
.
9
.
M35
T35
2019eb

137. Theory of Semi-Feasible Algorithms

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity.,Computer science.,Computer software.

رده :
QA76
.
9
.
A43
B953
2003

138. Theory of computation

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics

رده :
QA
267
.
W66
1987

139. Theory of computation

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computational complexity.,Computer science--Mathematics,Recursion theory.

رده :
QA
,
267
.
7
,.
K69
,
2006

140. Theory of computation

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics

رده :
QA
267
.
N35
2003